$\forall$$x$:$\mathbb{Z}$. sign($x$) $\in$ $\mathbb{Z}$